Formal methods - PDFSEARCH.IO - Document Search Engine

Formal methods
Results: 2204

#	Item
961	Project Services At the heart of GPD’s solution is the design of projects, especially work by teams across functional, corporate, and cultural boundaries. Starting before a project launches, high level Add to Reading List Source URL: www.gpdesign.com Language: English - Date: 2014-01-13 21:00:51 Team Formal methods Operations research Simulation Systems engineering process
962	Chapter Z Structured Methods and Creativity: a happy Dutch marriage Martijn van Welie Gerrit C. van der Veer Add to Reading List Source URL: www.welie.com Language: English - Date: 2007-07-15 18:00:00 Science Visual arts Technical communication Ergonomics Usability Formal methods Software development process Task analysis Cognitive ergonomics Human–computer interaction Design Architectural design
963	SECOND CALL FOR PAPERS NFM 2012 Fourth NASA Formal Methods Symposium Norfolk, Virginia, USA April 3 - 5, 2012 http://shemesh.larc.nasa.gov/nfm2012/ Add to Reading List Source URL: shemesh.larc.nasa.gov Language: English - Date: 2011-10-19 15:27:17 Goddard Space Flight Center Langley Research Center Lyndon B. Johnson Space Center Geography of California California San Francisco Bay Area Mountain View California Ames Research Center University of California Santa Cruz
964	Making Induction Manifest in Modular ACL2 ∗ Carl Eastlund Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Lisp programming language Mathematical logic Holism ACL2 Formal methods Automated theorem proving Nqthm Structural induction Common Lisp Software engineering Computing Computer programming
965	The 19th International Static Analysis Symposium Deauville, France[removed]September 2012 S AS[removed] Add to Reading List Source URL: www.sas2012.ens.fr Language: English - Date: 2012-07-03 06:17:35 Theoretical computer science Abstract interpretation Applied mathematics Model checking Program analysis Abstract management Formal verification Software bug Computer science Formal methods Logic in computer science Patrick Cousot
966	Profiling For Laziness Matthias Felleisen Stephen Chang [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Functional languages Procedural programming languages Formal methods Lambda calculus Functional programming Lazy evaluation Pseudo-ring Laziness Combinatory logic Software engineering Computing Computer programming
967	Experiments in validating formal semantics for C Sandrine Blazy ENSIIE and INRIA Rocquencourt [removed] Abstract. This paper reports on the design of adequate on-machine Add to Reading List Source URL: www.ensiie.fr Language: English - Date: 2008-06-30 05:17:26 Logic in computer science Formal methods Compiler construction Programming language semantics Formal verification Xavier Leroy Coq Operational semantics Compcert Software engineering Theoretical computer science Computing
968	Reasoning with computer-assisted experiments in mathematics Liesbeth De Mol∗ 1 Add to Reading List Source URL: logica.ugent.be Language: English - Date: 2011-11-29 04:56:35 Wolfram Research Theoretical computer science Formal methods University of Pennsylvania ENIAC Derrick Henry Lehmer Mandelbrot set A New Kind of Science Computer science Mathematics Science Computing
969	Client Success Case GLOBAL New Product Introduction Add to Reading List Source URL: www.gpdesign.com Language: English - Date: 2013-02-04 15:58:28 Science Software engineering Innovation New product development Software development process Systems engineering process Design Information hiding Systems science Systems engineering Product development Formal methods
970	Augmenting Experience Reports with Lightweight Postmortem Reviews Torgeir Dingsøyr1, Nils Brede Moe2 and Øystein Nytrø1,2 1Department of Computer and Information Science, Norwegian University of Science and Technology Add to Reading List Source URL: www.nik.no Language: English - Date: 2002-09-06 09:01:25 Software project management Management Systems engineering Methodology Software development process Software engineering Systems engineering process IBM Rational Unified Process Usability Software development Formal methods Information technology management